Using Object - Z to specify a web browser
نویسندگان
چکیده
A speciication describes the functions which a system provides to its users without explanation of how those functions are implemented. A speciication of an interactive system's user-interface is an abstract description of the interactive system itself. Such a speciica-tion indicates which functional aspects of the system are perceivable by the user and the logical organisation of information provided by the interface. To illustrate, we specify the user-interface for a WorldWide Web browser. We use Object-Z, a formal speciication and design language. Formal methods are increasingly accepted for specifying functional aspects of software systems, however their use in user-interface development is less common. This is despite widespread support for the view that formal methods ease system development. We demonstrate that Object-Z can be used to specify the user-interface for an interactive system. Such a speciication may form the basis for an Object-Z user-interface design.
منابع مشابه
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design process. In particular, the paper presents a XML/XSL approach to the development of a web environment for Z family languages (Z/Object-Z/TCOZ). The projection techniques and tools from object-oriented Z (in XML) to UML (i...
متن کاملZ Family on the Web with Their UML
Recent eeort and success in formal methods have been concentrated on building`heavy' tools support, such as theorem provers and model checkers. Although those tools are essential and important for applications of formal methods, in order to achieve wider acceptance, it's necessary to developìight' weight tools, such as web browser environment for formal speciications and projection/translation ...
متن کاملAn Integrated Browsing and Querying System for Odmg-compliant Object Databases 1
In this paper, we present the design and implementation of an integrated object browsing and visual querying system called IVORY(Integrated Visual brOwsing and queRYing system) for object databases. The design goals of IVORY includes provision with a good user interface and compliance to standards. Provision with a good user interface is achieved through IVORY's integrated browsing and querying...
متن کاملWeb Browser Security: Different Attacks Detection and Prevention Techniques
In this paper, we present a systematic study of how to make a browser secure. Web browser is vulnerable to different attacks; these attacks are performed due to vulnerabilities in the UI of the web page, Browser cache memory, extensions, plug-in. The Attacker can run malicious JavaScript to exploit user system by using these vulnerabilities. Buffer overflow attack, Cross-site-scripting, Man-in-...
متن کاملUsing Object-z to Specify Object-oriented Programming Languages Using Object-z to Specify Object-oriented Programming Languages
In this paper, we present a case study for using formal object-oriented speciication languages, such as Object-Z, to specify the semantics of object-oriented programming languages. The key idea in this case study is to model language constructs, such as expressions, statements, methods and classes, as objects and to specify the semantics of each language construct using an Object-Z class. This ...
متن کامل